منابع مشابه
ASTOR: Evolutionary Automatic Software Repair for Java
Context: During last years, many automatic software repair approaches have been presented by the software engineering research community. According to the corresponding papers, these approaches are able to repair real defects from open source projects. Problematic: Some previous publications in the automatic repair field do not provide the implementation of theirs approaches. Consequently, it i...
متن کاملMethods for the diagnosis and automatic repair of software systems
Software bugs account for the majority of costs in the software development process. In this thesis we make two contributions to the general problem of automatically diagnosing and correcting bugs. In the first contribution, we present a lightweight approach for repairing standard bugs in program code. The programmer defines a catalogue of syntactic constructs she consideres error prone, togeth...
متن کاملImproving Automatic Software Repair with Probabilistic Symbolic Execution
Automatic software repair techniques aim at repairing error-prone code automatically. In particular, test-based automatic software repair approaches use test cases to locate a bug and evaluate the automatically created repair code. However, this evaluation is only based on the successful or failing execution of the test cases but ignore the behavior of the software under the majority of of usag...
متن کاملAutomatic Choreography Repair
Choreography analysis is a crucial problem in concurrent and distributed system development. A choreography specifies the desired ordering of message exchanges among the components of a system. The realizability of a choreography amounts to determining the existence of components whose communication behavior conforms to the given choreography. Recently, the choreography realizability problem ha...
متن کاملAutomatic Repair of Infinite Loops
Research on automatic software repair is concerned with the development of systems that automatically detect and repair bugs. One well-known class of bugs is the infinite loop. Every computer programmer or user has, at least once, experienced this type of bug. We state the problem of repairing infinite loops in the context of test-suite based software repair: given a test suite with at least on...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Computing Surveys
سال: 2018
ISSN: 0360-0300,1557-7341
DOI: 10.1145/3105906